Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages."

Computer science --- Computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments.

Parallel processing (Electronic computers) --- occam (Computer program language) --- Transputers --- Computer architecture --- Programming languages (Electronic computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Understanding the main principles and algorithms underlying a modern operating system is essential in undergraduate computer science. The complexity of this subject, however, means that mastering it requires significant practical experience. This unique book accomplishes just that: it teaches introductory subjects in OS design and implementation through hands-on engagement with OSP 2, the next generation of the highly popular OSP courseware. This book exposes students to many essential features of operating systems while at the same time isolating them from low-level, machine-dependent concerns. With its accompanying software, the book contains enough projects for up to three semesters. Even one semester's study, however, suffices to cover page-replacement strategies in virtual memory management, CPU scheduling strategies, disk seek-time optimization and other issues in operating system design. Features include: • Provides an opportunity to practice OS design and implementation skills in a realistic, flexible, and easy-to-use systems programming environment that promotes "active learning" and reinforces lecture material. • OSP 2 is written in Java, so that students learn an object-oriented approach to OS design and implementation. • Contains many pedagogical tools: chapter goals, internet support for students and instructors; OSP 2 courseware and an instructors' manual, which includes helpful tips for course instructors and sample assignments, is available at www.springer.com/978-1-84628-842-5. • Each chapter includes self-contained explanations of the OS concepts underlying the student project for that chapter. Written for undergraduates in a first operating systems course, this text provides essential foundations through the user-friendly, highly flexible OSP 2 courseware environment.

Operating systems (Computers) --- OSP (Computer file) --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Operating systems (Computers). --- Operating Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Much as we hate to admit it, most prototyping practice lacks a sophisticated understanding of the broad concepts of prototyping-and its strategic position within the development process. Often we overwhelm with a high fidelity prototype that designs us into a corner. Or, we can underwhelm with a prototype with too much ambiguity and flexibility to be of much use in the software development process. This book will help software makers-developers, designers, and architects-build effective prototypes every time: prototypes that convey enough information about the product at the appropriat

Computer software --- Computers. --- Development. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Development of computer software --- Software development --- Software prototyping. --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"This volume brings together many contributions from leading research scientists, engineers and practitioners in computer science. Selected by program committee members, the topics describe innovative research and new technologies in the following areas of interest: image processing, computer vision and pattern recognition; computational linguistics and natural language processing; artificial intelligence, machine learning and algorithms; software engineering; computer networks and security; and bioinformatics."

Computer science --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Technological innovations